fshift($f$;$x$)($i$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if $i$=$_{2}$0$\rightarrow$ $x$ else $f$($i$$-$1) fi